Wyniki
-
A post-style poof of completeness theorem for symmetric relatedness logic S
Mateusz Klonowski
Bulletin of the Section of Logic , 47 /3 (2018) s. 201-215
Mateusz Klonowski
Bulletin of the Section of Logic
, 47
/3
(2018)
s. 201-215